Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 2 /2
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Continue reading
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Continue reading
Total Books: 1 - 2 /2